Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
331	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
332	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.yazd.ac.ir Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
333	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: tug.ctan.org Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
334	GAMSWorld and the Growing Demand for Reproducible Computational Experiments Steve Dirkse Add to Reading List Source URL: www.gams.com Language: English - Date: 2009-02-17 12:24:37 Computation Algorithm Economic model Scientific modelling Logic Epistemology Theory of computation Theoretical computer science Computability theory Mathematics
335	“Empty Space” Computes: The Evolution of an Unconventional Supercomputer Jonathan W. Mills1 Matt Parker Bryce Himebaugh Add to Reading List Source URL: www.csiir.ornl.gov Language: English - Date: 2010-03-15 16:30:22 Computability theory Analog computer Artificial intelligence Logic in computer science Digital electronics Hypercomputation Computation Fuzzy logic Turing machine Theoretical computer science Applied mathematics Computer science
336	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.usu.ru Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
337	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
338	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.asis.io Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
339	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
340	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.ctex.org Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE